package picosat;
import com.sun.jna.Library;
import com.sun.jna.Native;

public class CPicosat{
    protected interface Picosat extends Library{

             void picosat_init();
             void picosat_reset();
             int picosat_sat(int i);
             int picosat_variables();
             int picosat_deref(int i);
             int picosat_add(int i);

    }
    protected Picosat Solver = (Picosat) Native.loadLibrary("Picosat", Picosat.class);

    public void picosat_init(){
        Solver.picosat_init();
    }

    public void picosat_reset(){
        Solver.picosat_reset();
    }
    
    public int picosat_sat(int i){
        return Solver.picosat_sat(i);
    }
    
    public int picosat_variables(){
        return Solver.picosat_variables();
    }

    public int picosat_deref(int i){
        return Solver.picosat_deref(i);
    }

    public int picosat_add(int i){
        return Solver.picosat_add(i);
    }
}